b_queue E
1. Definition
An instance Q of the paramerized data type is a queue (see section 2.4) of bounded size.
2. Creation
Q (n)
creates an instance of type that can hold up to n elements. is initialized with the empty queue.
3. Operations
& truecm & truecm &
E top
returns the front element of
Q is not empty.
4. Implementation
Bounded Queues are implemented by circular arrays. All operations take time O(1). The space requirement is O(n).